1. A survey of verification techniques for parallel programs
پدیدآورنده : Howard Barringer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
2. Adaptive processing of sequences and data structures : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997 : tutorial lectures
پدیدآورنده : C. Lee Giles, Marco Gori )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Neural networks )Computer science(,، Data structures )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1387
3. Advanced Parallel Processing Technologies
پدیدآورنده : \ Yunji Chen, Paolo Ienne, Qing Ji (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Parallel processing (Electronic computers) -- Congresses,Computer Communication Networks.,پردازش موازی (کامپیوتر) -- کنگره ها,شبکه‌های ارتباطی کامپیوتری
رده :
QA
76
.
58
.
A6A3
2015
E-Book
,
4. Advances on P2P, Parallel, Grid, Cloud and Internet Computing :
پدیدآورنده : editors, Fatos Xhafa, Fang-Yie Leu, Massimo Ficco and Chao-Tung Yang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing, Congresses.,Computational grids (Computer systems), Congresses.,Parallel processing (Electronic computers), Congresses.,Peer-to-peer architecture (Computer networks), Congresses.,Communications Engineering, Networks.,Computational Intelligence.,Information Systems Applications (incl. Internet).,Artificial intelligence.,Cloud computing.,Communications engineering-- telecommunications.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information retrieval.,Parallel processing (Electronic computers),Peer-to-peer architecture (Computer networks)
رده :
QA76
.
58
5. Algebra of communicating processes :
پدیدآورنده : A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Congresses.,Parallel processing (Electronic computers) -- Congresses.,Real-time data processing -- Congresses.
رده :
QA76
.
58
A666
1995
6. Algorithm-Structured Computer Arrays and Networks; Architectures and processes for Image, Percepts, Models Information
پدیدآورنده : Uhr, Leonard Merrick
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Computer networks,، Computer architecture
رده :
QA
76
.
6
.
U37
1984
7. Algorithms and Architectures for Parallel Processing
پدیدآورنده : \ [Edited by] Guojun Wang...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a02,a03,a02,a03,Parallel processing (Electronic computers) -- Congresses.,پردازش موازی -- کنگره ها
رده :
QA
76
.
58
.
A4
2015
E-Book
,
8. Algorithms and architectures for parallel processing :
پدیدآورنده : Yang Xiang [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses,Computer architecture, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I58
2011
9. Algorithms and architectures for parallel processing :
پدیدآورنده : Yang Xiang ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses.,Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
I58
2011
10. Artificial neural networks : architectures and applications
پدیدآورنده : edited by Kenji Suzuki
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Neural networks )Computer science(,، Parallel processing )Electronic computers(,، Computer architecture
رده :
QA
76
.
87
.
A78
11. Automatic parallelization :
پدیدآورنده : Christoph W. Kessler, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
12. CONPAR 90-VAPP IV :
پدیدآورنده : H. Burkhart, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
رده :
QA76
.
58
.
J65
1990
13. Communicating Process Architectures 2005 :
پدیدآورنده : ed. by Jan F. Broenink [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2005eb
14. Communicating process architectures 2006 :
پدیدآورنده : edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2006eb
15. Communication and architectural support for network-Based parallel computing : first International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 : proceedings
پدیدآورنده : Dhabaleswar K. Panda, Craig B. Stunkel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer networks
رده :
QA
76
.
L28
Vol
.
1199
16. CompTIA A+ :
پدیدآورنده : Charles J. Brooks, David L. Prowse.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer technicians-- Certification, Study guides.,Electronic data processing personnel-- Certification.,Microcomputers-- Maintenance and repair-- Examinations, Study guides.,Computer technicians-- Certification-- Study guides.,Computer technicians-- Certification.,Electronic data processing personnel-- Certification.,Electronic data processing personnel-- Certification.,Microcomputers-- Maintenance and repair-- Examinations-- Study guides.,Microcomputers-- Maintenance and repair-- Examinations.
رده :
QA76
.
3
.
B7762
2008
17. Compositionality, concurrency, and partial correctness :
پدیدآورنده : J. Zwiers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
Z87
1989
18. Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship
پدیدآورنده : Zwiers, Job, 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
321
19. Computer assisted radiology :
پدیدآورنده : edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
20. Computer networks and Internets /
پدیدآورنده : Douglas E. Comer, Department of Computer Sciences, Purdue University, West Lafayette, IN 47907.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks.,Internetworking (Telecommunication),Computer networks.,Internetworking (Telecommunication)
رده :
TK5105
.
5
.
C5897
2015
